| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | mtc-m16c.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 7mbX3pFwXQZ4Cds5/wkuAf |
| Repositório | lac.inpe.br/lucio/2002/12.02.08.09 |
| Última Atualização | 2002:12.02.10.09.04 (UTC) administrator |
| Repositório de Metadados | lac.inpe.br/lucio/2002/12.02.08.09.04 |
| Última Atualização dos Metadados | 2020:11.26.13.50.52 (UTC) administrator |
| Chave de Citação | AmbrosioCarvVijaMart:2002:AuTeCa |
| Título | Automatic test case generation of the behavior of communication software systems  |
| Formato | CD-ROM, On-line. |
| Ano | 2002 |
| Data de Acesso | 19 maio 2024 |
| Tipo Secundário | PRE CN |
| Número de Arquivos | 1 |
| Tamanho | 34 KiB |
| 2. Contextualização | |
| Autor | 1 Ambrosio, Ana Maria 2 Carvalho, Solon Venâncio de 3 Vijaykumar, Nandamudi Lankalapalli 4 Martins, Eliane |
| Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JGH7 2 3 8JMKD3MGP5W/3C9JHTU |
| Grupo | 1 INPE-MCT-BR |
| Afiliação | 1 Aluno do curso de pós-graduação do INPE em Computação Aplicada (CAP) |
| Editor | Silva, José Demísio Simões da |
| Endereço de e-Mail | solon@lac.inpe.br |
| Nome do Evento | Workshop dos Cursos de Computação Aplicada do INPE, 2 (WORCAP). |
| Localização do Evento | São José dos Campos |
| Data | 20-21 nov. 2002 |
| Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais |
| Cidade da Editora | São José dos Campos |
| Título do Livro | Anais |
| Organização | Instituto Nacional de Pesquisas Espaciais |
| Histórico (UTC) | 2009-05-31 01:51:35 :: demisio -> administrator :: 2009-05-31 03:14:23 :: administrator -> demisio :: 2010-11-23 14:18:30 :: demisio -> administrator :: 2020-11-26 13:50:52 :: administrator -> fabio.silva@lac.inpe.br :: 2002 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Palavras-Chave | test case generation protocol formal specification Statecharts Kronecker operators |
| Resumo | This paper addresses the problem of automatically generating test cases of the behavior of communication software systems, the protocols, which are usually specified in Extended Finite State Machines. The specification technique Statecharts is considered here for specifying the protocol behavior with the objective of using its descriptive power of the hierarchy, orthogonality and synchronization features. To deal with the state explosion problem a strategy is proposed for test generation in steps (separated phases) based on the concepts of independent and synchronizing transitions. Another topic of study is related to the formal aspects of the specification into matrix algebra and Kronecker operators. Both the proposed strategy and mapping of the specification into matrix algebra are in the initial phase. |
| Área | COMP |
| Tipo | Sistema de Informação |
| Arranjo | urlib.net > BDMCI > Fonds > WORCAP > Automatic test case... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://urlib.net/ibi/7mbX3pFwXQZ4Cds5/wkuAf |
| URL dos dados zipados | http://urlib.net/zip/7mbX3pFwXQZ4Cds5/wkuAf |
| Idioma | Ingles |
| Arquivo Alvo | WorcapII-Ana-submetido2.pdf |
| Grupo de Usuários | administrator |
| Visibilidade | shown |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGP8W/38ELNHL |
| Lista de Itens Citando | sid.inpe.br/mtc-m21/2012/07.13.14.39.50 2 sid.inpe.br/mtc-m18/2010/12.15.11.49 2 sid.inpe.br/mtc-m21/2012/07.13.14.56.50 2 |
| Acervo Hospedeiro | dpi.inpe.br/hermes2@1905/2005/09.28.12.36 sid.inpe.br/mtc-m18@80/2008/03.17.15.17 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | fabio.silva@lac.inpe.br |
| atualizar | |